Synthesizing Mixed-type Electronic Health Records using Diffusion Models