煤矿三大规程不包括（）。