Gravar-mail: Using Mechanistic Models to Simulate Comparative Effectiveness Trials of Therapy and to Estimate Long-Term Outcomes in HIV Care