Test for the mean. Population variance known