Gasi fi cation of the Coke on Spent-Residue-Pretreating Catalysts with Steam and Steam − O 2 Mixtures