Playing music decreases boredom