Modelling, optimisation, and control of high-rate anaerobic reactors