Quantifying Observability in State Estimation