Multi-head CNN–RNN for multi-time series anomaly detection: An industrial case study