Annotated bibliography on the mental health of healthcare workers