Distributed Certifiably Correct Pose-Graph Optimization