Prospective randomized comparison of irrigated-tip and large-tip catheter ablation of cavotricuspid isthmus-dependent atrial flutter ☆