Using an Algorithm Portfolio to Solve Sokoban