A Linear-Complexity EKF for Visual-Inertial Navigation with Loop Closures | IEEE Conference Publication | IEEE Xplore