Government shutdown adds stress to air traffic controllers in Denver