岩层温度随着矿井开采深度的增大()。