AI for bureaucratic productivity: Measuring the potential of AI to help automate 143 million UK government transactions