The Costs and Benefits of Boredom in the Classroom