Text this: A new approach to constrained state estimation for discrete-time linear systems with unknown inputs