Influence of coke formation on the aromatization of isophorone