Zaslat SMS: Modeling HIV transmission and AIDS in the United States