Tropical Abstractions of Max-Plus Linear Systems