Discrete State Observability of Hybrid Systems