Convex optimization formulation of spectral graphical LASSO for time series