Symbolic Representation and Toolkit Development of Iterated Error-State Extended Kalman Filters on Manifolds