How long does a typical sewer line repair take?