Quantification of Atrial Tachyarrhythmia Burden with an Implantable Pacemaker Before and After Pulmonary Vein Isolation | Synapse