Catheter ablation of atrial fibrillation