Modelling of an ASR countercurrent pyrolysis reactor with nonlinear kinetics