Short-term atrial fibrillation detection using electrocardiograms: A comparison of machine learning approaches