Circumferential mapping and electric isolation of pulmonary veins in patients with atrial fibrillation.