Pacemaker implantation after catheter ablation for atrial fibrillation