CIA funding helped keep NeXT afloat in the 80s