Energy-Guided Diffusion Model for CBCT-to-CT Synthesis