A set of high school student heights are normally distributed with a mean of 161 centimeters and a standard deviation of 15 centimeters. Mikio is a high school student with a height of 191 centimeters. What proportion of student heights are higher than Mikio's height?