Commutative idempotent semirings