Modelling of autogenerative high-pressure anaerobic digestion in a batch reactor for the production of pressurised biogas