Generative AI for Urban Planning: Synthesizing Satellite Imagery via Diffusion Models