basement water damage repair cost