Metal mining is a global driver of environmental change