Universal Algebraic Geometry: Syntax and Semantics