Burden of HIV infection among children aged 18 months to 14 years in Kenya: results from a nationally representative population-based cross-sectional survey.