Nonlinear Full Information and Moving Horizon Estimation: Robust Global Asymptotic Stability.