The inclusion of International Aviation in the European Union Emissions Trading System