Modeling the circular economy in environmentally extended input-output tables