The use of a contact force-sensing very-high-power short-duration radiofrequency catheter leads to significant efficiency improvement for dispersion-based ablation of persistent atrial fibrillation