booster doses to doctors and health workers