SAP将收购企业架构管理领导者LeanIX，以利用人工智能推进流程优化