A pantropical assessment of deforestation caused by industrial mining