A Hybrid Procedure for Atrial Fibrillation Using Total Thoracoscopic Ablation and Post-Procedural Electrophysiological Confirmation of Ablation Lines