Model-Based Optimization of an Anaerobic Digestion Process