A two-sex model of human papillomavirus infection: Vaccination strategies and a case study