Pulmonary vein isolation by robotic-enhanced thoracoscopy for symptomatic paroxysmal atrial fibrillation.