Reviving the Nixie Tube Display: The History and Working Principle of the Nixie Tube