Health expenditure, taxes & royalties paid by miners, 2015-2024 ($ billion)