How Checkers Was Solved