Algorithmic Algebraic Combinatorics and Gröbner Bases