Advanced Tunneling Techniques and Information Modeling of Underground Infrastructure : Proceedings of the 6th GeoChina International Conference on Civil and Transportation Infrastructures