Multiplication in the cohomology of Grassmannians via Gröbner bases