A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem