K-theory as a tool for classification of crystalline topological insulators