Advice for healthcare workers exposed to COVID-19