The government borrowed £139.2bn in 2022-23 – less than forecast at the time of the Budget.