Diffusion Models Beat GANs on Topology Optimization