Sudoku pencil marks: when and how to use them