Autodesk buys MaintainX for $3.6bn to push from design into operations