煤矿掘进标准要求有哪些