Long-term safety and effectiveness of paroxysmal atrial fibrillation ablation using a porous tip contact force-sensing catheter from the SMART SF trial | Synapse