Diffusion Models and Its Applications in Image Dehazing: A Survey | Synapse