Reduced-order observers for linear discrete-time systems