Top occupational groups by share of California federal workforce