Outlier Detection in Time Series via Mixed-Integer Conic Quadratic Optimization | Synapse