It’s time to stop: A comparison of termination conditions in the evolution of game bots