Ceres Solver — A Large Scale Non-linear Optimization Library