煤矿的三大规程是指（）、（）和煤矿工人技术操作规程。