Air traffic controllers didn't get paid during the government shutdown. Here's how much they make normally.