What type of class has a finite group that can be expressed as a subgroup of a symmetric group?