Analog to digital converter definition