Computer simulation study on the effect of electrode–tissue contact force on thermal lesion size in cardiac radiofrequency ablation | Synapse