glpk integer programming models