Balanced realization of non-minimal MIMO discrete-time systems