An LMI approach to multi-model estimation for discrete-time linear systems