Polio health economics: assessing the benefits and costs of polio, non-polio, and integrated activities of the Global Polio Eradication Initiative