Columbus, Ohio, files suit against lead pipe manufacturers