Legal perspectives on mandatory vaccination of health care workers