The government shutdown means no paid vacation for federal workers