От связи к управлению рудником: зачем Nokia вывела ИИ на край горного производства