How the mental health of healthcare workers is being addressed