Thermodynamic properties of atrial fibrillation cryoablation: A model-based approach to improve knowledge on energy delivery