Data-driven detection and verification of replay attacks on industrial control systems