Congruence intersection properties for varieties of algebras