What is an analog-to-digital converter device?