Top companies by sentences related to robotics in the global mining industry in Q1 2024 (by marketcap)