Receding-Horizon Estimation for Switching Discrete-Time Linear Systems