What effect might border screening have on preventing importation of COVID-19 compared with other infections?: considering the additional effect of post-arrival isolation. (11th August 2022)