TimeAutoDiff: Combining Autoencoder and Diffusion model for time series tabular data synthesizing