The mammals of Africa. An identification manual.