EPA official says Flint replaced 9,700 lead lines