What air travelers should know about the government shutdown