State estimation for linear systems with state equality constraints