Variational Autoencoder with Implicit Optimal Priors