Texas is home to the third-most federal workers in the country.