Identities in congruence lattices of universal algebras