Anomaly Detection with Digital Twin in Cyber-Physical Systems