Thermal stress modeling in cryosurgery