Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms