Controllable seismic velocity synthesis using generative diffusion models