The Descriptive Complexity of Graph Neural Networks