mining sector contribution to the economy