Decidability of Graph Neural Networks via Logical Characterizations