A comparison of contact force and remote magnetic navigation on lesion formation for the ablation of atrial fibrillation