Text this: Modeling the epidemiology and the transmission dynamics of HIV/AIDS in a heterosexual population: basic models and analysis of local stability