Controllable Generation with Text-to-Image Diffusion Models: A Survey | Synapse