how are iron ore mined in Brazil