How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem