solving integer programs with Gröbner bases