Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates