The ternary discriminator function in universal algebra