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