Quantized Output Feedback Control of Uncertain Discrete-Time Systems with Input Saturation