软银向瑞士初创企业 Gravis Robotics 投资 2 亿美元，该公司主打工程机械自主作业软件。