g2o vs. Ceres: Optimizing Scan Matching in Cartographer SLAM