State Dept.'s 2017 hiring freeze mostly hit civil service and eligible family workers