Theropithecus: Theropithecus fossils from Africa and India and the taxonomy of the genus