通常所说的煤矿三大规程包括()。