Treatment for HIV/AIDS in Brazil: strengths, challenges, and opportunities for operations research