煤矿井下定向钻孔施工测量精度验证与应用