The UK’s tax authority is turning to AI to help identify fraud