Let's welcome our new overlords - AI beats progamer in Dota2