What are the tradable permits?