External validation of the ECG-SMART model: a machine learning algorithm for ECG diagnosis of occlusion myocardial infarction | Synapse