ControlTraj: Controllable Trajectory Generation with Topology-Constrained Diffusion Model | Synapse