Treffer: Machine learning using a single-lead ECG to identify patients with atrial fibrillation-induced heart failure