humanoid robot Ai-Da paints portrait of alan turing, one that sotheby’s is set to auction