A framework of digital technologies for the circular economy: Digital functions and mechanisms