The European Emissions Trading System (EU ETS): Ex-Post Analysis, the Market Stability Reserve and Options for a Comprehensive Reform