グローバル鉱山爆発防止装置AIと自動化の市場の影響