Algebraic K-theory and arithmetic