Cost-effectiveness of Japanese encephalitis (JE) immunization in Bali, Indonesia