The congruence subgroup problem