Dimensionality Reduction for Stationary Time Series via Stochastic Nonconvex Optimization