岩石温度随着矿井开采深度的增大