Do doctors have to have the covid-19 vaccine?