Digital Twins for Flexibility Service Provision from Industrial Energy Systems