Statistics for Treatment for HIV/AIDS in the workplace: A Case Study of a Mine in Botswana