The state is bigger than ever. The number of workers employed in central government has hit 4 million for the first time.