Modelling of propylene oxidation in a circulating fluidized-bed reactor