the 2023 budget provides for aggregate expenditures of N21.83 trillion