Deep learning of ECG waveforms for diagnosis of heart failure with a reduced left ventricular ejection fraction