Mining’s big environmental footprint in the Amazon