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