Congruence modular varieties: commutator theory and its uses