Statistics of An LMI-Based H_infty Discrete-Time Nonlinear State Observer Design for an Anaerobic Digestion Model