Cost-effectiveness of radiofrequency catheter ablation for the treatment of atrial fibrillation in the United Kingdom | Synapse