Observability of discrete-time Linear Switching Systems