Non-convex Pose Graph Optimization in SLAM via Proximal Linearized Riemannian ADMM | Synapse