brief history and overview of the mining sector