Model Theory of Universal Covers of Complex Algebraic Varieties