Boredom and Repetitive Work: A Review