Computing Tropical Varieties