replacing sewer pipe in basement