diamond mining in south africa in the nineteenth century