Civilian agencies would see a 16% spending boost under Biden's 2022 budget