Constrained Language Generation with Discrete Diffusion Models