The mining sector in Namibia