The Expressive Power of Graph Neural Networks: A Survey