Text this: Evaluation of the efficacy of angiotensin receptor–neprilysin inhibitor in patients with aortic stenosis undergoing transcatheter aortic valve implantation: protocol for a randomised, open-label, controlled study