Boom da indústria minerária: US$ 28 bi em quatro anos