煤矿智能化发展建设的历程、现状、优点以及难点