AI 및 자동화의 글로벌 마이닝 도구 시장 영향