A quantitative framework for exploring exit strategies from the COVID-19 lockdown | Arena Library | Arena