综合生产调度在矿井生产中的实践与应用