Catheter selection for ablation of the cavotricuspid isthmus for treatment of typical atrial flutter