Quantifying the population impact of a prophylactic Helicobacter pylori vaccine.