BrainIB: Interpretable Brain Network-based Psychiatric Diagnosis with Graph Information Bottleneck