Mining drives extensive deforestation in the Brazilian Amazon