Is mandatory vaccination of health care workers ethical?