Fossil mammals of Africa: 19, The Miocene Carnivora of East Africa