The expressive power of binary linear programming