Network Observability: Theory