Descriptive Complexity and Graph Neural Networks