The case for mandating a Covid-19 vaccine at work—and the case for merely encouraging it