A state-of-the-art report. Ground freezing: Mechanical properties, processes and design