Dynamic Nuclear Polarization as Kinetically Constrained Diffusion