煤矿三大规程是哪些?