国家能源局煤炭司司长刘涛:力争2025年底大型煤矿基本实现智能化