A programmable digital frequency synthesizer for a high resolution nmr spectrometer