Optimal control with multiple human papillomavirus vaccines