Music for recovery from mental fatigue