An SOS-Based Observer Design for Discrete-TimePolynomial Fuzzy Systems