A computational framework to benchmark basket catheter guided ablation in atrial fibrillation