The technology giant will close its Schaft robotics division after failing to find a buyer.