Schneider Electric buys industrial-AI firm Cognite for $3.1bn