Technical description of a mathematical model of the impact of antiretroviral therapy on HIV incidence in South Africa