how expensive is it to waterproof a basement