Government shutdown: By the numbers