Computational modeling and design of artificial soil freezing in tunneling | Synapse