Output Feedback Stabilization of Discrete-Time Control Systems