a random sample of 25 was drawn from a normal distribution with a standard deviation of 5. the sample mean is 80. determine the 95% confidence interval estimate of the population mean.