Decoding Cyclic Codes via Gröbner Bases