Catheter ablation for atrial fibrillation