ExPost Evaluation of Tradable Permits: Methodological Issues and Literature Review