Energy and natural resources: Mining in Brazil