If Brazil legalizes more Amazon mining, it would drive deforestation, study says