Logistical challenges and assumptions for modeling the failure of global cessation of oral poliovirus vaccine (OPV) | Synapse