PI-VAE: Physics-Informed Variational Auto-Encoder for stochastic differential equations