Deep Green, the Pool-Playing Robot