Exact solution approaches for bilevel lot-sizing · Study