Text this: Mathematical modeling of the epidemiology and the transmission dynamics of HIV/AIDS infections in Nigeria