PRAGO: Differentiable Multi-View Pose Optimization From Objectness Detections | Synapse