The congruence lattice of a regular semigroup