A Comparison of Reduced-Form Permit Price Models and their Empirical Performances