Observability of Power-Distribution Systems