​Cost-Effectiveness of Semaglutide in Patients With Obesity and Cardiovascular Disease.