Meta-reasoning: deciding which game to play, which problem to solve, and when to quit