Human papillomavirus genotyping as a tool for cervical cancer prevention: from commercially available human papillomavirus DNA test to next-generation sequencing