Gravar-mail: Optimal Control Strategies and Sensitivity Analysis of an HIV/AIDS-Resistant Model with Behavior Change