the eniac had six primary programmers, name the two betty's: