Restaurant industry gets serious about workers' mental health