Quantitative assessment of targeted testing and antiretroviral therapy integration in mathematical modeling of HIV/AIDS dynamics | Synapse