What did the Olympics tell us about employees’ mental health?