Identifying Latent Stochastic Differential Equations with Variational Auto-Encoders