《中国煤矿智能化发展报告(2024 年)》《数字煤矿与智能开采》新书发布仪式