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