A large-scale physical model test on frozen status in freeze-sealing pipe roof method for tunnel construction. (February 2018)