Greenburgh estimates $5.1M cost to repair long-damaged Hartsdale sewer line