A Rigorous Formulation of the Effect of Coke Formation on Catalyst Activity