SAP adds to supply-chain tech with SmartOps acquisition