OpenAI's Dota 2 defeat is still a win for artificial intelligence