Estimation of single-dose varicella vaccine effectiveness in South Korea using mathematical modeling