Umbrella Arching and Compensation Grouting in Order to Protect Settlement-Sensitive Buildings over Large Shotcrete Excavations in Gravel Academic Article