Are companies doing enough to help their leaders cope with mental health issues?