Transformers for all-cause mortality prognostication in patients with heart failure: validation of risk modelling and risk factor discoveries across international electronic health record datasets | Synapse