Top-5 companies by patenting activity related to future of work in terms of filings, in the global mining industry in Q1 2024