Line graph showing company filings mentions related to robotics in the global mining industry since 2020