Globally Optimal Relative Pose and Scale Estimation from Only Image Correspondences with Known Vertical Direction | Synapse