BBC Future: Why boredom is bad…and good for you