wkipedia diamond mining industry of south afrika