Tuberculosis Control in South African Gold Mines: Mathematical Modeling of a Trial of Community-Wide Isoniazid Preventive Therapy