SA-Solver: Stochastic Adams Solver for Fast Sampling of Diffusion Models