Scheme-Theoretic Algebraic Geometry