Optimal robust state estimation for uncertain linear systems