A Quadratic 0-1 Programming Approach for Word Sense Disambiguation