GINS-OPT: An open-source GNSS-IMU navigation system based on Ceres Solver optimization framework - View it on GitHub