Personnel scheduling during Covid-19 pandemic