The importance of holidays for mental health for workers