How moments of boredom help us achieve more