新基建和第四工业革命对煤矿智能化建设的重要意义