Pulsed field ablation-based pulmonary vein isolation in atrial fibrillation patients with cardiac implantable electronic devices: practical approach and device interrogation (PFA in CIEDs) | Synapse