Non-commutative Algebraic Geometry