Synthesizing Interpretable Strategies for Solving Puzzle Games