Higher-Order Binary Optimization