Big-data-driven anomaly detection in industry (4.0): An approach and a case study | Synapse