Output reversibility in linear discrete-time dynamical systems