Tropical intersection theory from toric varieties