On associative, idempotent, symmetric, and nondecreasing operations