Buhari presents record N20.5trn 2023 budget to n’assembly