Pool size selection when testing for SARS-CoV-2.