Did the Z3 use vacuum tubes?