Direct Distributional Optimization for Provable Alignment of Diffusion Models