Herd effect and virus eradication with use of killed poliovirus vaccine.