How much ATI really paid for its Half Life 2 deal