The Poisson Midpoint Method for Langevin Dynamics: Provably Efficient Discretization for Diffusion Models