The congruence subgroup problem for algebraic groups