overview of south african mining industry