using integer programming for fast computations with monomial ideals