Using the ENF Criterion for Determining the Time of Recording of Short Digital Audio Recordings