What formula gives a 100(1)% confidence interval for the population mean based on a sample of size n with a sample mean and a known population standard deviation?