A Fully Symbolic Polynomial System Generator for the Block Cipher AES-128