Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases