Provable Training for Graph Contrastive Learning