An AI for Spider Solitaire