Instrumentation and control of anaerobic digestion processes: A review and some research challenges