Mathematical Model for the Output Signal's Energy of an Ideal DAC in the Presence of Clock Jitter