Why it’s worth spending a billion dollars a year to eradicate polio