Towards Generative Modeling of Urban Flow through Knowledge-enhanced Denoising Diffusion