一般煤矿有多深