Interpretable Spectral Variational AutoEncoder (ISVAE) for time series clustering