Dynamical analysis of HIV-TB co-infection transmission model in the presence of treatment for TB | Synapse