Text this: Energy-efficient artificial freezing of multilayer soil systems: case studies of three different mine shafts under construction