The government shutdown is over. Here's what we learned