‘Gold library’ helps Brazil crack down on Amazon’s illegal mining