The world's largest mining companies in 2022 and their respective shares of total global production.