Existence and uniqueness of solutions for DC networks containing nonlinear ideal opamps