Finite-dimensional control of linear discrete-time fractional order systems