Max-linear Systems: Theory and Algorithms: Theory and Algorithms (Springer Monographs in Mathematics)