Time Series Anomaly Detection in the Frequency Domain with Statistical Reliability