K-theory and representation theory