What Google has to prove in the first major antitrust case in decades