How much more memory did Apple's Macintosh 512K, introduced in 1994, have than the original