Confidence Interval for the variance with known population mean