General Electric Co. agreed to buy ServiceMax, a Pleasanton cloud software company, for $915 million to expand its digital operations and enhance equipment maintenance. The deal will help GE automate and digitize the servicing of heavy-duty machinery, the Boston company said Monday. “It’s no secret our services revenue is the bulk of our earnings and...