A Logic for Reasoning About Aggregate-Combine Graph Neural Networks