Modelling and experimental verification of TPD from porous catalysts