India's poliomyelitis eradication: a milestone in public health.