Classification of 12-lead ECG With an Ensemble Machine Learning Approach