Ted Cruz introduces No Tax on Tips Act