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