鉱業ガス警報 市場規模・予測 2025 に 2032