the history of diamonds in africa