Inferring Properties of Graph Neural Networks