An efficient dual algorithm for vectorless power grid verification under linear current constraints