Session "Digitalization in the Mining Industry: New Opportunities, Robots, Artificial Intelligence"