K-theory in condensed matter physics