Mental health improves in employees after company moves to 4-day work week