Machine learning-based prediction model for recurrence after radiofrequency catheter ablation in patients with atrial fibrillation | Synapse