Amount of public funding received by the top 20 suppliers of IT services to the UK government in the 2021-2022 financial year