minesweeper algorithms ensure