Code improvements; added MILP example factory_location.ml