Two kinds of cooperative AI challenges: Game play and game design