Informing optimal testing and isolation strategies across different stages of the diagnostic development pipeline using mathematical models: SARS-CoV-2 in the UK as a case study | Synapse