Public health value of universal HPV vaccination