グローバルホルムアルデヒドを含まない金属加工液市場AIと自動化の影響