State-space formulae for discrete-time H∞ optimization