煤矿“三大规程”是指（ ）。