How long does a typical sewer line replacement take?