Company filings mentions related to robotics in the global mining industry, Q2 2020 - Q1 2024