Modeling the circular economy in environmentally extended input-output tables: Methods, software and case study