Matheuristics for the lot sizing problem with back-ordering, setup carry-overs, and non-identical machines