Luenberger observers for switching discrete-time linear systems