Most Government Workers Are Finally Getting Paid After Shutdown