Playing Games with Algorithms: Algorithmic Combinatorial Game Theory