Evaluation of the efficacy of empagliflozin in patients with preserved left ventricular ejection fraction undergoing transcatheter aortic valve implantation for aortic stenosis: protocol for a randomised, open-label, controlled study | Synapse