Max-Linear Regression by Scalable and Guaranteed Convex Programming