Introduction to tropical geometry