How to protect historical buildings against tunnel-induced damage: A case study in China.