Vaccination rates of healthcare workers vary according to their occupational group