Size variation in Middle Pleistocene humans.