Math 863: Introduction to Tropical Geometry