Using random testing in a feedback-control loop to manage a safe exit from the COVID-19 lockdown | Synapse