IEEE 1057 standard for Digitizing Waveform Recorders