The mammal-like reptiles of South Africa and the origin of mammals