Interpretable Anomaly Detection via Discrete Optimization