A reformulation for the stochastic lot sizing problem with service-level constraints · Study