A Comprehensive Graph Pooling Benchmark: Effectiveness, Robustness and Generalizability