On congruence lattices of lattices