Taking a Shot at COVID-19: What Restaurants Need to Know About Vaccinating their Workforce