That's an impressive figure from the mining industry, if correct. Employing 1.5% of the workforce, and contributing almost 10% to GDP!
GDP is in itself a measure of goods and SERVICES. So mining is big, in an ecomomy that is mostly services, and where 75% of the workforce is employed in...