PatchAD: A Lightweight Patch-Based MLP-Mixer for Time Series Anomaly Detection | Synapse