The UK’s lost GDP and tax revenues