vacuum tube history