Rigorous kinetic models for catalyst deactivation by coke deposition: Application to butene dehydrogenation