type of mining done in brazil