Algebraic K-Theory and Its Applications