Gaming company behind Steam digital distribution platform and titles like Half-Life, Portal, and Dota 2