Mixed integer linear optimization