A Mathematical Model for Estimating the Number of Health Workers Required for Universal Antiretroviral Treatment