Nondictatorial Arrovian social welfare functions, simple majority rule, and integer programming