Mental fatigue, work and sleep