Minesweeper as a Constraint Satisfaction Problem