mining diamonds in south africa