Representations of relatively free profinite semigroups, irreducibility, and order primitivity