How does the HPV vaccine work?