Design and rationale of the EMPagliflozin after Aortic Valve Replacement (EMPAVR) study: a randomized clinical trial | Synapse