High Court ruling on the patentability of AI machines prompts UKIPO to revise its guidelines on AI, writes trademark lawyer Peter Vaughan