Polyhedral and Algebraic Methods in Computational