A variable redefinition approach for the lot sizing problem with strong set-up interactions