Higher-Order Pattern Unification Modulo Similarity Relations