煤矿三大规程是指（ ）。