Interval estimate of a population mean