One-sample z-test for the population mean