An improved criterion for the global asymptotic stability of fixed-point state-space digital filters with saturation arithmetic