Congruence n-permutable varieties