The invention of traveling wave tubes