Introduction to Tropical Geometry