Monitoring and Evaluation of Artificial Ground Freezing in Metro Tunnel Construction-A Case Study