u.s. v. microsoft, 10 years later: who won, who lost, and did it matter? 5-9-11