Murphy mandates vaccinations for health care workers