Autodesk is buying Norwegian construction AI firm for $240M