OpenAI’s bots thrashed former professional e-sports players at Dota 2