diamond mining industry in africa