Statistics for Fossil hyraxes (Hyracoidea: Mammalia) from the Late Miocene and Plio-Pleistocene of Africa, and the phylogeny of the Procaviidae