Mobile operator data to support government and public decision making during the COVID-19 pandemic, while preserving data privacy