Pulmonary vein isolation after circumferential pulmonary vein ablation: comparison between Lasso and three-dimensional electroanatomical assessment of complete electrical disconnection.