Ablation of atrial fibrillation