diamond mining process in africa