煤矿矿井有多深