Transvenous internal cardioversion for atrial fibrillation: A randomized comparison between catheters with different coil length