A brief history of economic evaluation for human papillomavirus vaccination policy.