Higher Categories and Algebraic K-Theory, Part I