A 48-year-old man with type 2 diabetes has an HbA1c of 9.2% on metformin alone.He also has heart failure with reduced ejection fraction.Which add-on agent is most appropriate?