Text this: Modeling and analysis of HIV/AIDS spread in Pakistan: role of optimal control and behavioral changes