A thermoelastic deformation model of tissue contraction during thermal ablation