C4烯烃催化裂解生产丙烯的反应化学