Algebraic K-theory and its geometric applications