Modeling the effect of the EU ETS of airline fleet renewal and assignment