The potential impact of enhanced diagnostic techniques for tuberculosis driven by HIV: a mathematical model.