Local Search for 0–1 Nonlinear Programming