Higher Algebraic K-Theory: An Overview