Suppose that normal systolic blood pressure has a normal distribution with mean 120 and standard deviation 12. Suppose that a patient has four blood pressure readings taken and then the average of these four readings is recorded. Which of the following best describes the distribution of such averages of four readings?