Machine learning for outcome prediction of atrial fibrillation recurrence after catheter ablation | Synapse