Taking Sudoku Seriously: The Math Behind the World's Most Popular Pencil Puzzle