Max-linear Systems: Theory and Algorithms (Springer