Graph Pooling for Graph Neural Networks: Progress, Challenges, and Opportunities