岩石力学在采矿工程中的应用