How boredom boosts productivity