Modelling and control in anaerobic digestion: achievements and challenges