Analysis of catheter contact force during atrial fibrillation ablation using the robotic navigation system : results from a randomized study