Uniqueness of Power Flow Solutions Using Graph-Theoretic Notions