Principles of Non-Commutative Algebraic Geometry