Cost-effectiveness of rotavirus vaccination as part of the national immunization program for Thai children.