Vaccination of healthcare workers: is mandatory vaccination needed?