Robust receding-horizon estimation for uncertain discrete-time linear systems via semidefinite programming