How many standard deviations is Jamal’s height from the mean height for 12-year-olds?