X-FEM: An efficient algorithm for simulation of phase transition during prostate cryosurgery. (15th April 2020)