Introduction to toric varieties