Influence of different catalyst deactivation models in a validated simulator of an industrial UOP FCC unit with high-efficiency regenerator