Pi-transformer: A prior-informed dual-attention model for multivariate time-series anomaly detection | Synapse