Solving the Dynamic Lot-Sizing Problem with Safety Stocks and Limited Inventories based on New Properties