Contrastive Graph Pooling for Explainable Classification of Brain Networks