Today in tech history: July 9, 1981, Nintendo releases first Donkey Kong, and first appearance of Mario