EdgeECG: A lightweight edge-oriented network with dual criterion pruning for real-time ECG arrhythmia classification | Synapse