Mixed Tropicals