Certifiable planar relative pose estimation with gravity prior | Publicación