Mandatory COVID-19 vaccination in the workplace: How it works