Tropical algebra