SOFA: Deep Learning Framework for Simulating and Optimizing Atrial Fibrillation Ablation