煤矿地质测量规程规定有哪些