煤矿智能化发展现状