Machine learning–enabled ECG arrhythmia classification: a systematic and educational study from signal processing to decision support | Synapse