煤矿建设的主要程序为