diamond mining africa history diamond mining africa