The incomes in a certain large population of college teachers have a normal distribution with a mean $75,000 and standard deviation $10,000. 16 teachers are selected at random from this population to serve on a committee. What is the probability that their average salary is more than $77,500?