Cost-Effectiveness of 9-Valent HPV Vaccination for Patients Treated for High-Grade Cervical Intraepithelial Neoplasia in the UK | Synapse