Google avoids AdX sale as US judge orders changes to ad-tech business