average cost to fix water in basement