Dynamic Probabilistic Lot-Sizing With Service Level Constraints