Circular Economy: a Coloured Petri Net based discrete event simulation model