Text this: Highly active antiretroviral therapy and tuberculosis control in Africa: synergies and potential