Automating a Retailer's Workforce Management During a Pandemic