On the Discrete-time Bounded Real Lemma with application in the characterization of static state feedback H ∞ controllers