A High court judge has blocked the sale of the HTC One Mini in the UK after finding that it infringes on patents held by competitor Nokia.