A confidence interval for a population mean