Modeling CO2 emission allowance prices and derivatives: Evidence from the European trading scheme