Survey on Generalization Theory for Graph Neural Networks