Predicting Brittle Failure in a Long and Deep Tunnel based on Martin's Spalling-Failure Criterion