Workflow Efficiency of High-Density Left Atrial Mapping: A Real-World Benchmark Across Four Multipolar Catheter Designs | Synapse