Numerical evaluation of ice borehole PCM problem and temperature field in RECoverable Autonomous Sonde (RECAS) system | Synapse