Puberty, and its effects on the average height of boys