煤矿“三大规程”是指()。