Mental fatigue at work and pain perception