HIV/AIDS and its implications for the control of animal tuberculosis