What the changes in the 2023 rankings of the largest government contractors say about the trends driving the market.