The epidemiological impact of antiretroviral use predicted by mathematical models: a review | Synapse