Representation theory of the symmetric group