Algebraic K-theory and Homotopy Theory of Schemes