Industrial Applications of Artificial Intelligence: From Grand Stories of Digital Disruption to Actual Progress