Machine learning-guided software for the ablation of cardiac arrhythmias