K-theory and arithmetic