Optimizing drug formulary decisions for the antiretroviral treatment of HIV-1 infection : a treatment outcomes maximization approach based on stakeholder objectives and preferences