How much does it cost to repair a main sewer line?