Linear estimation for discrete-time systems in the presence of time-correlated disturbances and uncertain observations