Google's antitrust loss puts a quarter of its search revenue at stake