Estimating a Bounded Normal Mean