Cost-utility of empagliflozin in patients with type 2 diabetes at high cardiovascular risk.