Can businesses require COVID-19 vaccinations? The short answer: yes