Estimating a Population Mean: σ Known