Introduction to projective varieties