Estimating the impact of universal antiretroviral therapy for HIV serodiscordant couples through home HIV testing: Insights from mathematical models.