Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers