煤矿实现数字化后的情景及所带来的好处