PHP Sudoku solver