Stacking-sequence optimization for buckling of laminated plates by integer programming