Toward Consistent and Efficient Map-based Visual-inertial Localization: Theory Framework and Filter Design.