Graph Neural Networks and Arithmetic Circuits