Sandvik acquires digital mining tech company Newtrax