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