Mathematical modelling and simulation of phenol degradation in biofilters