Convergence of denoising diffusion models under the manifold hypothesis Bortoli