How has the average height of a person changed throughout history?