The partition of Africa, 1880-1900 and European imperialism in the nineteenth century