DC networks containing nonlinear ideal op-amps: robust unique solvability