Stochastic Variational Integrators