The global mining industry: corporate profile, complexity, and change | Synapse