machinery used in mining in brazil