The average age of doctors in certain hospital is 47.0 years old. Suppose the distribution of ages is normal and has a standard deviation of 6.0 years. If 25 doctors are chosen at random for a committee, find the probability that the average age of those doctors is less than 47.5 years. Assume that the variable is normally distributed.