Cruz introduces bill to pay air traffic controllers during shutdown