Human papillomavirus (HPV) vaccine effectiveness and potential herd immunity for reducing oncogenic oropharyngeal HPV-16 prevalence in the United Kingdom: A cross-sectional study