Supplemental Trichomonas vaginalis testing is required to maintain control following a transition from Pap smear to HPV DNA testing for cervical screening: a mathematical modelling study