Randomized controlled trial of Amigo® robotically controlled versus manually controlled ablation of the cavo-tricuspid isthmus using a contact force ablation catheter