Real-time data fusion for intrusion detection in industrial control systems based on cloud computing and big data techniques