Modelling the Spread of COVID-19 in Indoor Spaces using Automated Probabilistic Planning