Finite-Time Output Feedback Control of Discrete-Time Systems