Digital Signal Processing in Radio Astronomy