Text this: Progress towards the 2020 targets for HIV diagnosis and antiretroviral treatment in South Africa