Development and testing of models of tuberculosis contact tracing in rural southern Africa