An observational study comparing HPV prevalence and type distribution between HPV-vaccinated and -unvaccinated girls after introduction of school-based HPV vaccination in Norway