Prediction model for leaflet thrombosis in patients undergoing transcatheter aortic valve implantation: the EFFORT study | Synapse