How digital tools make circular economy operational in industrial areas: The example of BE CIRCLE