VAE-Var: Variational-Autoencoder-Enhanced Variational Assimilation