The surprising benefit of being bored at work