Radiofrequency catheter ablation for drug-refractory atrial fibrillation: Segmental pulmonary vein isolation versus antral pulmonary vein isolation through electroanatomic cartomerge or NAVX Verismo approach