Mathematical modeling to assess health and economic impact of cardiovascular interventions and implementation strategies among people living with HIV: SAIA HTN