煤矿“三大规程”包括（）。