Text this: Progress and prospects for the control of HIV and tuberculosis in South Africa: a dynamical modelling study