Is the UK tax system overly complex?