Infinite dimensional Riemannian geometry and stochastic geometric mechanics