Global health goals: lessons from the worldwide effort to eradicate poliomyelitis