岩层温度随着矿井开采深度的增大a不变b下降c上升