Preprint with Xihang Yu: SIM-Sync, certifiably optimal 3D scene reconstruction with learned depth