Text this: Short Paper - The Binary Linearization Complexity of Pseudo-Boolean Functions