Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures