Adaptive output regulation for linear systems via discrete-time identifiers