Semantic modeling of the emissions trading system