Synthesis of polynomial control laws and analysis for discrete-time polynomial systems with saturating inputs