EHRDiff: Exploring Realistic EHR Synthesis with Diffusion Models