Symbolic Music Generation with Diffusion Models