Text this: Modeling Saturated Diagnosis and Vaccination in Reducing HIV/AIDS Infection