The role of the mining sector in economic development | Synapse