Moving Horizon Estimation for Simultaneous Localization and Mapping with Robust Estimation Error Bounds