Convexity of log-sum-exp