Denoising diffusion-based MRI to CT image translation enables automated spinal segmentation | Synapse